disjunctive law

[计] 析取律